$\forall$$T$:(Id$\rightarrow$Type). EState($T$) $\in$ Type